Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
731	Using Hands-On Visualizations to Teach Computer Science from Beginning Courses to Advanced Courses Susan H. Rodger∗ Department of Computer Science Duke University Durham, NC 27705 Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2002-06-14 13:50:50 Theoretical computer science Mathematics Formal languages National Parliamentary Debate Association Pushdown automaton Deterministic pushdown automaton Alphabet Algorithm Turing machine Theory of computation Models of computation Automata theory
732	ON PURPOSE AN ENQUIRY INTO THE POSSIBLE ROLES OF THE COMPUTER IN ART HAROLD COHEN Add to Reading List Source URL: www.aaronshome.com Language: English - Date: 2014-09-12 15:26:30 Computer Computing Machine code Machine-or-transformation test Abstract machine Computer science Register machines Pointer machine Random access machine Models of computation Theory of computation Theoretical computer science
733	Logic and Automata over Infinite Trees Der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Hochschule Aachen Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:56 Formal languages Combinatorics on words Mathematical logic Models of computation Linear temporal logic Finite-state machine Tree automaton Parity game Alphabet Automata theory Mathematics Theoretical computer science
734	International Journal of Foundations of Computer Science c World Scientific Publishing Company MONA Implementation Secrets Anders Møller & Michael I. Schwartzbach Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:07:43 Model theory Automata theory Model checking Models of computation Binary decision diagram Boolean algebra First-order logic Finite-state machine CPU cache Mathematical logic Logic Mathematics
735	Technische UniversitŠt MŸnchen FakultŠt fŸr Informatik Lehrstuhl fŸr Programmiermethodik und Verteilte Systeme Univ.-Prof. Dr. M. Broy Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2007-08-26 06:05:19 Petri nets Formal methods Model checking Tamagotchi Software engineering Visual programming language Computer science TAPAAL Model Checker Models of computation Concurrency Diagrams
736	Mona & Fido: The Logic-Automaton Connection in Practice Nils Klarlund AT&T Labs{Research Florham Park, NJ Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:34 Boolean algebra Model checking Mathematics Formal methods Binary decision diagram Models of computation Finite-state machine Tree automaton Computability Automata theory Theoretical computer science Diagrams
737	Decidability Results on the Existence of Lookahead Delegators for NFA Christof Löding and Stefan Repke Lehrstuhl für Informatik 7, RWTH Aachen, Aachen, Germany Abstract Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-02-07 10:22:52 Complexity classes Applied mathematics Nondeterministic finite automaton Deterministic finite automaton Lookahead PSPACE-complete NP Theoretical computer science Automata theory Models of computation
738	HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, Serge Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-25 18:43:01 Markov processes Models of computation Markov models Differential equations Petri net Probabilistic automaton Markov chain Hybrid automaton Random variable Statistics Probability and statistics Automata theory
739	Czech Technical University in Prague Faculty of Electrical Engineering Doctoral Thesis July 2014 Add to Reading List Source URL: cyber.felk.cvut.cz Language: English - Date: 2014-08-05 04:41:01 Models of computation Algorithm Mathematical logic Theoretical computer science Artificial intelligence Mathematics Multi-agent system Game theory Agent-based model Science Applied mathematics Theory of computation
740	Microsoft Word - IITSEC-03-visual_behavior_authoring.doc Add to Reading List Source URL: www.stottlerhenke.com Language: English - Date: 2003-08-20 18:52:26 Computing Knowledge Artificial intelligence Behavior Human behavior Agent-based model UML state machine Simulation Actor model Scientific modeling Models of computation Science

UPDATE